00100	(DE ALT (X) (COND ((OR (NULL X) (NULL (CDR X))) X)
00200	(T (CONS (CAR X) (ALT (CDR (CDR X)))))))
00300	(DE REV (X Y) (COND ((NULL X) Y) (T (REV (CDR X) (CONS (CAR X) Y)))))
00400	
00500	(DE SUBA (X Y Z) (COND ((ATOM Z)(COND ((EQ Y Z) X) (T Z)))
00600	(T (CONS (SUBA X Y (CAR Z)) (SUBA X Y (CDR Z))))))
00700	
00800	(DE ASSS (X U) (COND ((NULL U) NIL)
00900		((EQ X (CAR (CAR U))) (CAR U))
01000		(T (ASSS X (CDR U)))))
01100	
01200	(DE EQU (X Y) (OR (EQ X Y) (AND (NOT (ATOM X))
01300					(NOT (ATOM Y))
01400					(EQU (CAR X) (CAR Y))
01500					(EQU (CDR X) (CDR Y)))))
01600	
01700	(DE FLAT (X Y) (COND ((ATOM X) (CONS X Y))
01800				(T (FLAT (CAR X) (FLAT (CDR X) Y)))))
01900	
02000	(DE GLUB (X) (QUOTE A))
02100	
02200	(DE SUBB (X Y Z) (COND ((ATOM Z)(COND((EQ Y Z) X)(T Z)))
02300	(T ((LAMBDA (U V) (COND ((AND (EQ U (CAR Z))(EQ V(CDR Z)))Z)
02400	(T (CONS U V)))) (SUBB X Y (CAR Z))(SUBB X Y (CDR Z))))))